SPI instrumental background characteristics
نویسندگان
چکیده
منابع مشابه
The COMPTEL instrumental line background
The instrumental line background of the Compton telescope COMPTEL onboard the Compton GammaRay Observatory is due to the activation and/or decay of many isotopes. The major components of this background can be attributed to eight individual isotopes, namely D, Na, Na, Al, K, Mn, Ni, and Tl. The identification of instrumental lines with specific isotopes is based on the line energies as well as ...
متن کاملInstrumental Texture Parameters and Solvation Characteristics of Mixed Casein Gels
Caseins exhibit a wide range of physicochemical and functional properties that make them an excellent source of protein for the creation of formulated foods, either as novel or imitative products. Their ability to gel suggests their potential use in highly valued imitative products, such as Kamaboko, a surimi product. However, gelation and the resultant textural properties can be enhanced by va...
متن کاملSpi - Calculus
In the eld of process algebras, the spi-calculus, a modi-ed version of the-calculus with encryption primitives, is indicated as an expressive speciication language for cryptographic protocols. In spi-calculus basic security properties, such as secrecy and integrity can be formalized as may-testing equivalences which do not seem easily ex-tendible to express other kinds of interesting properties...
متن کاملInstrumental Desires , Instrumental Rationality
The requirements of instrumental rationality are often thought to be normative conditions on choice or intention, but this is a mistake. Instrumental rationality is best understood as a requirement of coherence on an agent's non-instrumental desires and means-end beliefs. Since only a subset of an agent's means-end beliefs concern possible actions, the connection with intention is thus more obl...
متن کاملPattern-Matching Spi-Calculus
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on types for authenticity did not allow for such nested cryptography. In this work, we present the pattern-matching spi-calculus, which is an obvious extension of the spi-calculus to include pattern-matching as primitive. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Astrophysics
سال: 2003
ISSN: 0004-6361,1432-0746
DOI: 10.1051/0004-6361:20031156